The Protein Ontology (PRO) provides a formal, logically-based classification of specific protein classes including structured representations of protein isoforms, variants and modified forms. Initially focused on proteins found in human, mouse and Escherichia coli, PRO now includes representations of protein complexes. The PRO Consortium works in concert with the developers of other biomedical ontologies and protein knowledge bases to provide the ability to formally organize and integrate representations of precise protein forms so as to enhance accessibility to results of protein (...) research. PRO (http://pir.georgetown.edu/pro) is part of the Open Biomedical Ontologies (OBO) Foundry. (shrink)

Biomedical ontologies are emerging as critical tools in genomic and proteomic research where complex data in disparate resources need to be integrated. A number of ontologies exist that describe the properties that can be attributed to proteins; for example, protein functions are described by Gene Ontology, while human diseases are described by Disease Ontology. There is, however, a gap in the current set of ontologies—one that describes the protein entities themselves and their relationships. We have designed a PRotein Ontology (PRO) (...) to facilitate protein annotation and to guide new experiments. The components of PRO extend from the classification of proteins on the basis of evolutionary relationships to the representation of the multiple protein forms of a gene (products generated by genetic variation, alternative splicing, proteolytic cleavage, and other post-translational modification). PRO will allow the specification of relationships between PRO, GO and other OBO Foundry ontologies. Here we describe the initial development of PRO, illustrated using human proteins from the TGF-beta signaling pathway. (shrink)

We compare the definition of virtue in philosophy with the definition and operationalization of virtue in psychology. We articulate characteristics that virtue is presented as possessing in the perennial western philosophical tradition. Virtues are typically understood as (a) dispositional (b) deep-seated (c) habits (d) that contribute to flourishing and (e) that produce activities with the following three features: they are (f) done well, (g) not done poorly, and (h) in accordance with the right motivation and reason. We form a definition (...) from these characteristics and defend our exclusion of some other characteristics from the definition. Using our definition as a rubric, we evaluate conceptions of virtue in psychology, showing how many fall short at operationalizing at least one component of the philosophical notion of virtue. (shrink)

Direct neurological and especially imaging-driven investigations into the structures essential to naturally occurring cognitive systems in their development and operation have motivated broadening interest in the potential for artificial consciousness modeled on these systems. This first paper in a series of three begins with a brief review of Boltuc’s (2009) “brain-based” thesis on the prospect of artificial consciousness, focusing on his formulation of h-consciousness. We then explore some of the implications of brain research on the structure of consciousness, finding limitations (...) in biological approaches to the study of consciousness. Looking past these limitations, we introduce research in artificial consciousness designed to test for the emergence of consciousness, a phenomenon beyond the purview of the study of existing biological systems. (shrink)

The desirability of what actually occurs is often influenced by what could have been. Preferences based on such value dependencies between actual and counterfactual outcomes generate a class of problems for orthodox decision theory, the best-known perhaps being the so-called Allais Paradox. In this paper we solve these problems by extending Richard Jeffrey's decision theory to counterfactual prospects, using a multidimensional possible-world semantics for conditionals, and showing that preferences that are sensitive to counterfactual considerations can still be desirability maximising. (...) We end the paper by investigating the conditions necessary and sufficient for a desirability function to be an expected utility. It turns out that the additional conditions imply highly implausible epistemic principles. (shrink)

John P. Burgess is the John N. Woodhull Professor of Philosophy at Princeton University. He obtained his Ph.D. from the Logic and Methodology program at the University of California at Berkeley under the supervision of Jack H. Silver with a thesis on descriptive set theory. He is a very distinguished and influential philosopher of mathematics. He has written several books: A Subject with No Object (with G. Rosen, Oxford University Press, 1997), Computability and Logic (with G. Boolos and R. (...) class='Hi'>Jeffrey, 5th ed., Cambridge University Press, 2007), Fixing Frege (Princeton University Press, 2005), Mathematics, Models, and Modality (Cambridge University Press, 2007), Philosophical Logic (Princeton University Press, 2009), Truth (with A. G. Burgess, Princeton University Press, 2011), Saul Kripke: Puzzles & Mysteries (Polity Press, 2012), Rigor & Structure (Oxford University Press, 2015), and Set Theory (Cambridge Elements, Forthcoming). In this interview, Professor Burgess talks about how his interests in mathematics and philosophy developed and relate to each other. He then answers questions about specific themes of his philosophical work, with a focus on issues pertaining to philosophy of mathematics. (shrink)

It is widely agreed by philosophers that the so-called “Frege-Russell definition of natural number” is actually an assertion concerning the nature of the numbers and that it cannot be regarded as a definition in the ordinary mathematical sense. On the basis of the reasoning in this paper it is clear that the Frege-Russell definition contradicts the following three principles (taken together): (1) each number is the same entity in each possible world, (2) each number exists in each possible world, (3) (...) some entities existing in the actual world do not exist in every possible world. Since these principles seem to be true, the paper is a refutation of the Frege-Russell definition. The paper does more. It shows that the contradictory of the Frege-Russell definition follows even when principles 2 and 3 are replaced by one considerably weaker principle. The ideas contained in the paper are related to two earlier objections to the definition. The first, sometimes attributed to the mathematician, C. S. Keyser, is that existence of the numbers as defined implies the existence of infinitely many particulars in each possible world. The second is, in effect, an idea which is said to have led Whitehead to reject the definition of number to which he had subscribed in Principia Mathematica. Whitehead is supposed to have said that he could not believe that the number two changes every “time twins are born”. The mathematician H. Jeffreys expressed similar ideas [Philos. of Sci. 5 (1938), 434–451]. One of the merits of the author’s work is that it refutes the Frege-Russell definition without the need to take sides on controversial points presupposed by the Keyser and Whitehead objections. The objections made by the author are therefore not to be identified with the Keyser and Whitehead objections. Even if the author’s work is to be regarded as a refinement and integration of previous ideas, it is nevertheless a contribution—not only because the basic points are well worth repeating but also because the refinements are logically significant improvements and because the author has stated them clearly and concisely in the idiom of contemporary philosophy. (shrink)

Crupi et al. propose a generalization of Bayesian confirmation theory that they claim to adequately deal with confirmation by uncertain evidence. Consider a series of points of time t0, . . . , ti, . . . , tn such that the agent’s subjective probability for an atomic proposition E changes from Pr0 at t0 to . . . to Pri at ti to . . . to Prn at tn. It is understood that the agent’s subjective probabilities change for (...) E and no logically stronger proposition, and that the agent updates her subjective probabilities by Jeffrey conditionalization. For this specific scenario the authors propose to take the difference between Pr0 and Pri as the degree to which E confirms H for the agent at time ti , C0,i. This proposal is claimed to be adequate, because. (shrink)

A fundamental fact is “pure” just in case it has no grounded entities—ex. Tokyo, President Biden, the River Nile, {Socrates}, etc.—among its constituents. Purity is the thesis that every fundamental fact is pure. I argue that Purity is false. My argument begins with a familiar conditional: if Purity is true, then there are no fundamental “grounding facts” or facts about what grounds what. This conditional is accepted by virtually all of Purity’s defenders. However, I argue that it is also the (...) first step toward Purity’s undoing. For, if every grounding fact has a ground, then some grounded entities have “groundmates” or distinct grounded entities that share their full grounds. But, if there are groundmates, then Purity is false. So Purity leads to a contradiction. Therefore, it is false. I close by noting that my argument against Purity also gives us a powerful reason to think that some grounding facts are fundamental. (shrink)

This paper argues that the new metaphysics of powers, also known as dispositional essentialism or causal structuralism, is an illusory metaphysics. I argue for this in the following way. I begin by distinguishing three fundamental ways of seeing how facts of physical modality — facts about physical necessitation and possibility, causation, disposition, and chance — are grounded in the world. The first way, call it the first degree, is that the actual world or all worlds, in their entirety, are the (...) source of physical modality. Humeanism is the best known such approach, but there are other less well-known approaches. The second way, the second degree, is that the source of physical modality lies in certain second-order facts, involving a relation between universals. Armstrong’s necessitarianism and other views are second-degree views. The third way, the third degree, holds that properties themselves are the source of physical modality. This is the powers view. I examine four ways of developing the third degree: relational constitution, graph-theoretic structuralism, dispositional roles, and powerful qualities. All these ways are either incoherent, or just disguised versions of the first-degree. The new metaphysics of powers is illusory. With the collapse of the third degree, the second degree, the necessitarian view of law, collapses as well. I end the paper with some reflections on the first degree, on the problem of explaining necessary connections between distinct existences, and on the dim prospects of holist ontology. (shrink)

The view that it is better for life to be created free of disability is pervasive in both common sense and philosophy. We cast doubt on this view by focusing on an influential line of thinking that manifests it. That thinking begins with a widely-discussed principle, Procreative Beneficence, and draws conclusions about parental choice and disability. After reconstructing two versions of this argument, we critique the first by exploring the relationship between different understandings of well-being and disability, and the second (...) by more briefly focusing on the idea of a significant reason. By placing these results against the broader historical and ongoing contexts in which the lives of those with disabilities have been deemed of inferior quality, we conclude with a call for greater humility about disability and well-being in thought and practice. (shrink)

Bird argues that Armstrong’s necessitarian conception of physical modality and laws of nature generates a vicious regress with respect to necessitation. We show that precisely the same regress afflicts Bird’s dispositional-monist theory, and indeed, related views, such as that of Mumford & Anjum. We argue that dispositional monism is basically Armstrongian necessitarianism modified to allow for a thesis about property identity.

This volume has its roots in two recent developments within mainstream analytic epistemology: a growing recognition over the past two or three decades of the active and social nature of our epistemic lives; and, more recently still, the increasing appreciation of the various ways in which the epistemic practices of individuals and societies can, and often do, go wrong. The theoretical analysis of these breakdowns in epistemic practice, along with the various harms and wrongs that follow as a consequence, constitutes (...) an approach to epistemology that we refer to as non-ideal epistemology. In this introductory chapter we introduce and contextualise the ten essays that comprise this volume, situating them within four broad sub-fields: vice epistemology, epistemic injustice, inter-personal epistemic practices, and applied epistemology. We also provide a brief overview of several other important growth areas in non-ideal epistemology. (shrink)

I argue that one’s views about which “metaphysical laws” obtain—including laws about what is identical with what, about what is reducible to what, and about what grounds what—can be used to deflect or neutralize the threat posed by a debunking explanation. I use a well-known debunking argument in the metaphysics of material objects as a case study. Then, after defending the proposed strategy from the charge of question-begging, I close by showing how the proposed strategy can be used by certain (...) moral realists to resist the evolutionary debunking arguments. (shrink)

This paper isolates a hard, long-standing species problem: developing a comprehensive and exacting theory about the constitutive conditions of the species category, one that is accurate for most of the living world, and which vindicates the widespread view that the species category is of more theoretical import than categories such as genus, sub-species, paradivision, and stirp. The paper then uncovers flaws in several views that imply we have either already solved that hard species problem or dissolved it altogether – so-called (...) We Are Done views. In doing so the paper offers new criticisms of the general lineage species concept (GLSC), evolutionary species concept (EvSC), biological species concept (BSC), other similar concepts, Ereshefsky’s eliminative pluralism about the species category, and both Mishler’s pessimism and Wilkins’ phenomenalism about that category. Opposed to We Are Done views, the paper argues for a Revving Up view, on which we are nearly ready to begin the hard species problem in earnest. To help work towards these conclusions, the paper begins with an outline of a new kind of view of species (Barker 2019a), which proposes they are feedback systems of a mathematically specifiable and empirically testable sort. (shrink)

In this paper we present a new metaphysical theory of material objects. On our theory, objects are bundles of property instances, where those properties give the nature or essence of that object. We call the theory essential bundle theory. Property possession is not analysed as bundle-membership, as in traditional bundle theories, since accidental properties are not included in the object’s bundle. We have a different story to tell about accidental property possession. This move reaps many benefits. Essential bundle theory delivers (...) a simple theory of the essential properties of material objects; an explanation of how object coincidence can arise; an actual-world ground for modal differences between coincident objects; a simple story about intrinsic properties; and a plausible account of certain ubiquitous cases of causal overdetermination. (shrink)

Intellectualists about know-how tend to deny that knowing how to ϕ requires the corresponding ability to ϕ. So, it’s supposed to be an attractive feature of intellectualism that it can explain cases of knowing how without ability, while anti-intellectualism—roughly, the view that knowing how is a kind of ability—cannot. I show that intellectualism fails to explain the very cases that are supposed to showcase this feature of the view. Despite appearances, this does not amount to an objection to intellectualism per (...) se, but to the intellectualist’s rejection of ability entailment. It turns out that all parties to the debate about know-how should accept that knowing how entails ability. The upshot is that the central question of the debate should not be whether knowing how entails ability, but whether ability suffices for knowing how, as anti-intellectualists sometimes claim. (shrink)

According to the Ontological Innocence Thesis (OIT), grounded entities are ontologically innocent relative to their full grounds. I argue that OIT entails a contradiction, and therefore must be discarded. My argument turns on the notion of “groundmates,” two or more numerically distinct entities that share at least one of their full grounds. I argue that, if OIT is true, then it is both the case that there are groundmates and that there are no groundmates. Therefore, so I conclude, OIT is (...) false. Moreover, once we have seen why OIT is false, only three heterodox views about reality's structure remain. So this paper’s second conclusion is that, even after we have discarded OIT, we are in for an additional surprise. (shrink)

I offer a new theory of faultless disagreement, according to which truth is absolute (non-relative) but can still be non-objective. What's relative is truth-aptness: a sentence like ‘Vegemite is tasty’ (V) can be truth-accessible and bivalent in one context but not in another. Within a context in which V fails to be bivalent, we can affirm that there is no issue of truth or falsity about V, still disputants, affirming and denying V, were not at fault, since, in their context (...) of assertion V was bivalent. This theory requires a theory of assertion that is a form of cognitive expressivism. (shrink)

Are the sculpture and the mass of gold which permanently makes it up one object or two? In this article, we argue that the monist, who answers ‘one object’, cannot accommodate the asymmetry of material constitution. To say ‘the mass of gold materially constitutes the sculpture, whereas the sculpture does not materially constitute the mass of gold’, the monist must treat ‘materially constitutes’ as an Abelardian predicate, whose denotation is sensitive to the linguistic context in which it appears. We motivate (...) this approach in terms of modal analyses of material constitution, but argue that ultimately it fails. The monist must instead accept a deflationary, symmetrical use of ‘materially constitutes’. We argue that this is a serious cost for her approach. (shrink)

When and why does awareness of a belief's genealogy render it irrational to continue holding that belief? According to explanationism, awareness of a belief’s genealogy gives rise to an epistemic defeater when and because it reveals that the belief is not explanatorily connected to the relevant worldly facts. I argue that an influential recent version of explanationism, due to Korman and Locke, incorrectly implies that it is not rationally permissible to adopt a “sparse” ontology of worldly facts or states of (...) affairs. I then propose a new explanationist account of genealogical defeat capable of accommodating rational belief in ontological sparsity. According to my account, awareness of a belief’s genealogy gives rise to a defeater when and because it reveals that the belief is not explanatorily connected to its truthmaker. (shrink)

This ~4000 word essay introduces topics of essentialism, as they arise in social sciences. It distinguishes empirical (e.g., psychological) from philosophical studies of essentialisms, and both metaphysical and scientific essentialisms within philosophy. Essentialism issues in social science are shown to be more subtle and complex than often presumed.

Closure is the epistemological thesis that if S knows that P and knows that P implies Q, then if S infers that Q, S knows that Q. Fred Dretske acknowledges that closure is plausible but contends that it should be rejected because it conflicts with the plausible thesis: Conclusive reasons (CR): S knows that P only if S believes P on the basis of conclusive reasons, i.e., reasons S wouldn‘t have if it weren‘t the case that P. Dretske develops an (...) analysis of knowing that centers on CR, and argues that the requirement undermines skepticism by implying the falsity of closure. We develop a Dretske-style analysis of knowing that incorporates CR, and we argue that this analysis not only accords with closure, but also implies it. In addition, we argue that the analysis accounts for the prima facie plausibility of closure-invoking skeptical arguments, and nonetheless implies that they are fallacious. If our arguments turn out to be sound, the acceptability of Dretske‘s analysis of knowing will be significantly enhanced by the fact that, despite implying closure, it undermines closure-based skepticism. (shrink)

In this paper, I expand our framework for epistemic injustice by shifting focus from epistemic evaluations of individuals in information exchange to epistemic evaluations of individuals engaging their know-how in performance. I call the injustice to individuals qua knowers-how performative injustice, and I argue that performative injustice has distinct features worth understanding apart from varieties of epistemic injustice devoted to information exchange. I develop an account of the performative authority that is unfairly evaluated in cases of performative injustice and show (...) how, in some cases, cognitive penetration can affect observers’ evaluations. Finally, I show how stereotype threat may short circuit what would otherwise be cases of performative injustice, which in turn reveals the significance of its systemic manifestations. (shrink)

My goal is to illuminate truth-making by way of illuminating the relation of making. My strategy is not to ask what making is, in the hope of a metaphysical theory about is nature. It's rather to look first to the language of making. The metaphor behind making refers to agency. It would be absurd to suggest that claims about making are claims about agency. It is not absurd, however, to propose that the concept of making somehow emerges from some feature (...) to do with agency. That's the contention to be explore in this paper. The way to do this is through expressivism,. Truth-making claims, and making-claims generfally, are claims in which we express mental states linked to our maipulation of concepts, like truth. In particular, they express disposition to undertake derivations using inference rules, in which introduction rules have a specific role. I then show how this theory explains our intuitions about truth's asymmetric dependence on being. (shrink)

A far-reaching and influential view in evolutionary biology claims that species are cohesive units held together by gene flow. Biologists have recognized empirical problems facing this view; after sharpening the expression of the view, we present novel conceptual problems for it. At the heart of these problems is a distinction between two importantly different concepts of cohesion, what we call integrative and response cohesion. Acknowledging the distinction problematizes both the explanandum of species cohesion and the explanans of gene flow that (...) are central to the view we discuss. We conclude by tracing four broader implications for the study and conceptualization of species. (shrink)

Should we make significant sacrifices to ever-so-slightly lower the chance of extremely bad outcomes, or to ever-so-slightly raise the chance of extremely good outcomes? *Fanaticism* says yes: for every bad outcome, there is a tiny chance of extreme disaster that is even worse, and for every good outcome, there is a tiny chance of an enormous good that is even better. I consider two related recent arguments for Fanaticism: Beckstead and Thomas's argument from *strange dependence on space and time*, and (...) Wilkinson's *Indology* argument. While both arguments are instructive, neither is persuasive. In fact, the general principles that underwrite the arguments (a *separability* principle in the first case, and a *reflection* principle in the second) are *inconsistent* with Fanaticism. In both cases, though, it is possible to rehabilitate arguments for Fanaticism based on restricted versions of those principles. The situation is unstable: plausible general principles tell *against* Fanaticism, but restrictions of those same principles (with strengthened auxiliary assumptions) *support* Fanaticism. All of the consistent views that emerge are very strange. (shrink)

This short paper, written for a wide audience, introduces "science and values" topics as they have arisen in the context of eugenics. The paper especially focuses on the context of 20th century eugenics in western Canada, where eugenic legislation in two provinces was not repealed until the 1970s and thousands of people were sterilized without their consent. A framework for understanding science-value relationships within this context is discussed, and so too is recent relevant work in philosophy of science.

I use the principle of truth-maker maximalism to provide a new solution to the semantic paradoxes. According to the solution, AUS, its undecidable whether paradoxical sentences are grounded or ungrounded. From this it follows that their alethic status is undecidable. We cannot assert, in principle, whether paradoxical sentences are true, false, either true or false, neither true nor false, both true and false, and so on. AUS involves no ad hoc modification of logic, denial of the T-schema's validity, or obvious (...) revenge. (shrink)

This chapter analyzes several key themes in Kant’s views about modality. We begin with the pre-critical Only Possible Argument in Support of a Demonstration of the Existence of God, in which Kant distinguishes between formal and material elements of possibility, claims that all possibility requires an actual ground, and argues for the existence of a single necessary being. We then briefly consider how Kant’s views change in his mature period, especially concerning the role of form and thought in defining modality. (...) Kant’s mature views, however, present two difficult interpretive puzzles. The first puzzle concerns whether Kant has a generally reductive view of modality. While Kant’s views on logical modality, the role of actuality in grounding possibility, and the relation of modality to cognition all suggest reduction, we argue that the categorial status of modal concepts and the difficulty in even identifying amodal grounds for modal facts all suggest a non-reductive view. The second puzzle concerns whether Kant accepts modal facts or properties at the noumenal level. While Kant’s appeal to noumenal necessary connections, the contingency of noumenal willing, and the idea of a necessary noumenal being suggest that he endorses noumenal modality, his claims that modal concepts express only relations to the faculty of cognition and his claim that modal concepts arise from our distinctive psychological structures, we argue, suggest that he rejects noumenal modality. We conclude by considering potential solutions to these puzzles. (shrink)

This paper is about both an application of virtue ethics, and about virtue ethics itself. A popular application of neo-Aristotelian virtue ethics to environmental issues is called interpersonal extensionism. It argues that we should view the normative range of traditional interpersonal virtues, such as compassion and humility, as extending beyond our interactions with people to also include our interactions with non-human environments. This paper uncovers an unaddressed problem for this view, then proposes a solution by revising how we understand neo-Aristotelian (...) virtue ethics itself. The tenet in question, defended by virtue ethicists such as Hursthouse and Foot, claims that a character trait counts as a virtue only if it is strictly necessary for human flourishing. This tenet threatens interpersonal extensionism because, as I show, the extended or environment-regarding aspects of virtues such as compassion and humility are not strictly speaking necessary for human flourishing: people can in principle flourish without those. But I then argue that diversities across both people and environments give us good, seldom acknowledged, reasons to revise neo-Aristotelian virtue ethics so that it no longer imposes the tenet that led to this problem. Neither a trait nor an aspect of it need be necessary for human flourishing in order to count as a neo-Aristotelian virtue. Indeed, marked variation between people and between environments can be complementary with respect to flourishing. Sometimes, for instance, part of the reason an environment-regarding aspect of compassion is virtuous is because of its distinct role in creating conditions that increase the chance that others will flourish. To show these things, I draw from work in philosophy of science on cluster approaches to categories and constitution, and from experiences working with diverse people in Canada's diverse national and provincial parks. (shrink)

People with the kind of preferences that give rise to the St. Petersburg paradox are problematic---but not because there is anything wrong with infinite utilities. Rather, such people cannot assign the St. Petersburg gamble any value that any kind of outcome could possibly have. Their preferences also violate an infinitary generalization of Savage's Sure Thing Principle, which we call the *Countable Sure Thing Principle*, as well as an infinitary generalization of von Neumann and Morgenstern's Independence axiom, which we call *Countable (...) Independence*. In violating these principles, they display foibles like those of people who deviate from standard expected utility theory in more mundane cases: they choose dominated strategies, pay to avoid information, and reject expert advice. We precisely characterize the preference relations that satisfy Countable Independence in several equivalent ways: a structural constraint on preferences, a representation theorem, and the principle we began with, that every prospect has a value that some outcome could have. (shrink)

The article reflects on where AI is headed and the world along with it, considering trust, ethics and safety. Implicit in artificial thinking and doomsday appraisals is the engineered divorce from reality of sublime human embodiment. Jeffrey White, Dietrich Brandt, Jan Soeffner, and Larry Stapleton, four scholars associated with AI & Society, address these issues, and more, in the following exchange.

Recently in this journal, Jessica Morley and colleagues (AI & SOC 2023 38:411–423) review AI ethics and education, suggesting that a cultural shift is necessary in order to prepare students for their responsibilities in developing technology infrastructure that should shape ways of life for many generations. Current AI ethics guidelines are abstract and difficult to implement as practical moral concerns proliferate. They call for improvements in ethics course design, focusing on real-world cases and perspective-taking tools to immerse students in challenging (...) situations with relatable personal, social and environmental implications. The present paper considers the ACTWith model of moral cognition for use in such training contexts. Morley and colleagues' paper and contemporary literature are reviewed. Whistleblowing as a source for relatable case studies is discussed, and the purpose of ethics education considered. The ACTWith model is introduced, and correlations with contemporaries noted. The ACTWith model has been successfully employed in a broad range of technology ethics courses in the Netherlands and South Korea. Illustrations are offered. Correlations with contemporary efforts are drawn in the context of software engineering. Summary discussion considers strengths and limitations of the ACTWith program. Overall, the paper emphasizes training high-level moral reasoning through guided inquiry education informing lifetime professional practice, and indicates an outstanding need for teachers able to do the job. (shrink)

Decision theorists widely accept a stochastic dominance principle: roughly, if a risky prospect A is at least as probable as another prospect B to result in something at least as good, then A is at least as good as B. Recently, philosophers have applied this principle even in contexts where the values of possible outcomes do not have the structure of the real numbers: this includes cases of incommensurable values and cases of infinite values. But in these contexts the usual (...) formulation of stochastic dominance is wrong. We show this with several counterexamples. Still, the motivating idea behind stochastic dominance is a good one: it is supposed to provide a way of applying dominance reasoning in the stochastic context of probability distributions. We give two new formulations of stochastic dominance that are more faithful to this guiding idea, and prove that they are equivalent. (shrink)

I argue that Lewis's counterfactual theory of causation, given his treatment of counterfactuals in terms of world-comparative similarity faces insuperable problems in the form of the problem of effects and the problem of epiphenomena.

We uncover a largely unnoticed and unaddressed problem in conservation research: arguments built within studies are sometimes defective in more fundamental and specific ways than appreciated, because they misrelate values and empirical matters. We call this the unraveled rope problem because just as strands of rope must be properly and intricately wound with each other so the rope supports its load, empirical aspects and value aspects of an argument must be related intricately and properly if the argument is to objectively (...) support its conclusion. By characterizing this problem with precision, our study differs from but complements existing studies of value issues in conservation science, in two ways. First, it focuses on key relationships between empirical issues and value issues, relations that have sometimes been obscured by focusing on these issues more independently of each other. Second, it focuses on these relationships within arguments and deploys a method of argument analysis and evaluation honed in other fields but under-utilized in conservation science. By combining our study's novel features, we detail six families of argument defect that exemplify the unraveled rope problem within existing literature. These defects sometimes manifest within basic research stages, rather than just in more applied downstream stages where roles for values are already obvious to many. As scientific reasoning and communication become increasingly important for addressing society's greatest environmental challenges, overcoming the unraveled rope problem will be essential to the success and integrity of conservation research. Therefore, we also outline potential solutions, preventative measures, and useful further work for conservation researchers. (shrink)

I examine three ‘anti-object’ metaphysical views: nihilism, generalism, and anti-quantificationalism. After setting aside nihilism, I argue that generalists should be anti-quantificationalists. Along the way, I attempt to articulate what a ‘metaphysically perspicuous’ language might even be.

At the heart of semantics in the 20th century is Frege’s distinction between sense and force. This is the idea that the content of a self-standing utterance of a sentence S can be divided into two components. One part, the sense, is the proposition that S’s linguistic meaning and context associates with it as its semantic interpretation. The second component is S’s illocutionary force. Illocutionary forces correspond to the three basic kinds of sentential speech acts: assertions, orders, and questions. Forces (...) are then kinds of acts in which propositions are deployed with certain purposes. I sketch a speech-act theoretic semantics in which that distinction does not hold. Instead of propositions and forces, the theory proposes proto-illocutionary acts and illocutionary acts. The orthodox notion of a proposition plays no role in the framework, which is a good thing, since that notion is deeply problematic. The framework also shows how expressionists, who embrace a sophisticated speech-act framework, face no Frege-Geach embedding problem, since the latter assumes the Sense/Force distinction. (shrink)

What role does the wild duck play in Ibsen's famous drama? I argue that, besides mirroring the fate of the human cast members, the duck is acting as animal subject in a quasi-experiment, conducted in a private setting. Analysed from this perspective, the play allows us to discern the epistemological and ethical dimensions of the new scientific animal practice (systematic observation of animal behaviour under artificial conditions) emerging precesely at that time. Ibsen's play stages the clash between a scientific and (...) a romantic understanding of animals that still constitutes the backdrop of most contemporary debates over animals in research. Whereas the scientific understanding reduces the animal's behaviour, as well as its environment, to discrete and modifiable elements, the romantic view regards animals as being at one with (or violently disconnected from) their natural surroundings. (shrink)

Tamar Gendler takes on “explaining our comparative difficulty in imagining fictional worlds that we take to be morally deviant” (56), otherwise known as the puzzle of imaginative resistance. Generally speaking, readers have no trouble believing untrue factual claims such as in Alice in Wonderland or The Adventures of Huckleberry Finn, but we resist claims which advocate praise or approval of immoral acts such as murder. Gendler submits that the implied author aims to persuade the reader to change his or her (...) moral beliefs, thereby causing imaginative resistance. This paper will explain that imaginative resistance is fundamentally an interpersonal moral conflict as experienced in the ethical theory of moral subjectivism, and will suggest ways to manage imaginative resistance by looking at the whole work of fiction. (shrink)

Eliminativists sometimes invoke evolutionary debunking arguments against ordinary object beliefs, either to help them establish object skepticism or to soften the appeal of commonsense ontology. I argue that object debunkers face a self-defeat problem: their conclusion undermines the scientific support for one of their premises, because evolutionary biology depends on our object beliefs. Using work on reductionism and multiple realizability from the philosophy of science, I argue that it will not suffice for an eliminativist debunker to simply appeal to some (...) object-free surrogate theory of evolution that results from converting any scientific proposition about some object K into a proposition about simples arranged K-wise. In the process, I examine some hazards peculiar to eliminative reductions of scientific theories, and propose a trilemma for eliminativists who attempt to recoup generality for ontologically sparse reducing theories by appealing to pluralities of simples arranged K-wise. The paper is intended to define and develop the object debunker’s self-defeat problem for further study, and to clarify some of the ways sparse and abundant ontologies interact with scientific theory. (shrink)

The standard view about counterfactuals is that a counterfactual (A > C) is true if and only if the A-worlds most similar to the actual world @ are C-worlds. I argue that the worlds conception of counterfactuals is wrong. I assume that counterfactuals have non-trivial truth-values under physical determinism. I show that the possible-worlds approach cannot explain many embeddings of the form (P > (Q > R)), which intuitively are perfectly assertable, and which must be true if the contingent falsity (...) of (Q > R) is to be explained. If (P > (Q > R)) has a backtracking reading then the contingent facts that (Q > R) needs to be true in the closest P-worlds are absent. If (P > (Q > R)) has a forwardtracking reading, then the laws required by (Q > R) to be true in the closest P-worlds will be absent, because they are violated in those worlds. Solutions like lossy laws or denial of embedding won't work. The only approach to counterfactuals that explains the embedding is a pragmatic metalinguistic approach in which the whole idea that counterfactuals are about a modal reality, be it abstract or concrete, is given up. (shrink)

The impressive variation amongst biological individuals generates many complexities in addressing the simple-sounding question what is a biological individual? A distinction between evolutionary and physiological individuals is useful in thinking about biological individuals, as is attention to the kinds of groups, such as superorganisms and species, that have sometimes been thought of as biological individuals. More fully understanding the conceptual space that biological individuals occupy also involves considering a range of other concepts, such as life, reproduction, and agency. There has (...) been a focus in some recent discussions by both philosophers and biologists on how evolutionary individuals are created and regulated, as well as continuing work on the evolution of individuality. (shrink)

This is an extended review of John Dupré's _Processes of Life_, a collection of essays. It clarifies Dupré's concepts of reductionism and anti-reductionism, and critically examines his associated discussions of downward causation, and both the context sensitivity and multiple realization of categories. It reviews his naturalistic monism, and critically distinguishes between his realism about categories and constructivism about classification. Challenges to his process ontology are presented, as are arguments for his pluralism about scientific categories. None of his main conclusions are (...) rejected; rather it is main arguments for them that are the focus. (shrink)

We prove a representation theorem for preference relations over countably infinite lotteries that satisfy a generalized form of the Independence axiom, without assuming Continuity. The representing space consists of lexicographically ordered transfinite sequences of bounded real numbers. This result is generalized to preference orders on abstract superconvex spaces.

This paper provides a structured response to Jingkai Liang’s On Forward Time Travel, focusing on forward time travel paradigms: “stretched-out streaks,” where travelers experience slowed passage of time, and “broken streaks,” representing instantaneous leaps forward. Using the Philosophy of Ethical Empirical Rationalism, we introduce three key insights—termed Hume’s Beacons—to examine continuity of identity, the measurability of time, and the ethical considerations involved in skipping time. Each insight is explored through hypotheses rooted in empirical observation, rational justification, and ethical application, offering (...) Liang a framework for further analysis of forward time travel. Visual models accompany each hypothesis to provide clarity. This paper aims to expand the discourse on temporal metaphysics by grounding theoretical time travel concepts in empirical rationalism and ethical reasoning. (shrink)

ABSTRACTIn this paper I defend a form of epistocracy I call limited epistocracy – rule by institutions housing expertise in non-political areas that become politically relevant. This kind of limited epistocracy, I argue, isn't a far-off fiction. With increasing frequency, governments are outsourcing political power to expert institutions to solve urgent, multidimensional problems because they outperform ordinary democratic decision-making. I consider the objection that limited epistocracy, while more effective than its competitors, lacks a fundamental intrinsic value that its competitors have; (...) namely, political inclusion. After explaining this challenge, I suggest that limited epistocracies can be made compatible with robust political inclusion if specialized institutions are confined to issuing directives that give citizens multiple actionable options. I explain how this safeguards citizens’ inclusion through rational deliberation, choice, and contestation. (shrink)

We consider two ways one might use algorithmic randomness to characterize a probabilistic law. The first is a generative chance* law. Such laws involve a nonstandard notion of chance. The second is a probabilistic* constraining law. Such laws impose relative frequency and randomness constraints that every physically possible world must satisfy. While each notion has virtues, we argue that the latter has advantages over the former. It supports a unified governing account of non-Humean laws and provides independently motivated solutions to (...) issues in the Humean best-system account. On both notions, we have a much tighter connection between probabilistic laws and their corresponding sets of possible worlds. Certain histories permitted by traditional probabilistic laws are ruled out as physically impossible. As a result, such laws avoid one variety of empirical underdetermination, but the approach reveals other varieties of underdetermination that are typically overlooked. (shrink)